Chen, Junjie, Bai, Yanwei, Hao, Dan, Xiong, Yingfei, Zhang, Hongyu, Xie, Bing. Institute of Electrical and Electronics Engineers (IEEE); 2017. Learning to prioritize test programs for compiler testing.